41. Artificial intelligence methods in intelligent algorithms :
پدیدآورنده: editor, Radek Silhavy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Software engineering, Congresses.,Artificial intelligence.,COMPUTERS-- Software Development & Engineering-- General.,Software engineering.
رده :
QA76
.
758
42. Automata, languages, and programming
پدیدآورنده: Artur Czumaj ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming, Congresses,Machine theory, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA267
.
I23
2012eb
43. Automated Data Retrieval in Astronomy :
پدیدآورنده: edited by Carlos Jaschek, W. Heintz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Astronomy -- Data processing -- Congresses.,Information storage and retrieval systems -- Astronomy -- Congresses.,Physics.
رده :
QB51
.
3
.
E43
E358
1982
44. Automated technology for verification and analysis :
پدیدآورنده: Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
45. Bidirectional transformations :
پدیدآورنده: Jeremy Gibbons, Perdita Stevens (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)
رده :
QA601
46. Bio-inspired computing :
پدیدآورنده: Jianyong Qiao, Xinchao Zhao, Linqiang Pan, Xingquan Zuo, Xingyi Zhang, Qingfu Zhang, Shanguo Huang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Natural computation, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Natural computation.,Network hardware.
رده :
Q335
47. Building the e-World ecosystem :
پدیدآورنده: Tomas Skersys ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks, Congresses.,Electronic commerce, Congresses.,Information technology, Congresses.,Internet in public administration, Congresses.,World Wide Web, Congresses.
رده :
TK5105
.
5
.
I35
2011
48. COMPASS '93: Proceedings of the Einth Annual Conference on Computer assurance,June 14-17 ,1993,national Institute of standard and technology ,gaithersbury,MD
پدیدآورنده: / COMPASS Sponsors: IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer software - Reliability - Congresses,Computers - Reliability - Congresses
رده :
QA76
.
R44
49. COMPASS 94: Proceedings of the Ninth Annual Conference on Computer Assurance, June 27-July 1, 1994, National Institute of Standard and Technology, Gaithersbury, MD
پدیدآورنده: COMPASS Sponsors: IEEE Aerospace and Electronics Systems Society, IEEE National Capital Area Council; in cooperation with British Computer Society
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer software - Reliability - Congresses , Computers - Reliability - Congresses
رده :
QA
76
.
R44
A56
1994
50. COMPSTAT :
پدیدآورنده: edited by Albert Prat.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematical statistics -- Data processing -- Congresses.,Mathematical statistics -- Data processing.,Statistics -- Data processing -- Congresses.
رده :
QA276
.
4
E358
1996
51. CONCUR 2012 - concurrency theory
پدیدآورنده: Maciej Koutny, Irek Ulidowski (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer multitasking, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
I58
2012eb
52. CONPAR 90-VAPP IV :
پدیدآورنده: H. Burkhart, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Parallel processing (Electronic computers), Congresses.,Vector processing (Computer science), Congresses.
رده :
QA76
.
58
.
J65
1990
53. Certification and security in inter-organizational E-services :
پدیدآورنده: edited by Enrico Nardelli, Maurizio Talamo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Business-- Data processing-- Security measures, Congresses.,Computer security, Congresses.,Business-- Data processing-- Security measures.,Computer Science.,Computer security.,Electrical & Computer Engineering.,Engineering & Applied Sciences.,Informatique.,Telecommunications.
رده :
QA76
.
9
.
A25
I462
2005
54. Challenges in ad hoc networking :
پدیدآورنده: edited by K. Al Agha, I. Guérin Lassous, G. Pujolle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks, Congresses.,Computer networks.,Computer networks.,COMPUTERS-- Data Transmission Systems-- General.,COMPUTERS-- Networking-- Vendor Specific.,Informatique.
رده :
TK5105
.
5
.
M435
2005eb
55. Chinese lexical semantics :
پدیدآورنده: Jia-Fei Hong, Qi Su, Jiun-Shiung Wu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Chinese language-- Semantics, Congresses.,Computational linguistics, Congresses.,Artificial intelligence.,Chinese language-- Semantics.,Computational linguistics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Computers-- System Administration-- Storage & Retrieval.,Foreign Language Study-- Chinese.,Information retrieval.,Software Engineering.
رده :
PL1291
.
C45
2018eb
56. Clinical assessment, computerized methods, and instrumentation /
پدیدآورنده: editors, F.J. Maarse [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Neuropsychology-- Data processing, Congresses.,Psychobiology, Experimental-- Data processing, Congresses.,Psychodiagnostics-- Data processing, Congresses.,Psychology, Experimental-- Data processing, Congresses.,Computers.,Psychological Tests.,Psychology, Experimental.,Software.,Psychodiagnostics-- Data processing.,PSYCHOLOGY-- Assessment, Testing & Measurement.,Psychology, Experimental-- Data processing.
رده :
BF39
.
5
.
C58
2003eb
57. Coalgebraic methods in computer science :
پدیدآورنده: Corina Cîrstea (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA76
.
9
.
M35
58. Cognitive Informatics and Soft Computing :
پدیدآورنده: Pradeep Kumar Mallick, Valentina Emilia Balas, Akash Kumar Bhoi, Ahmed F. Zobaa, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational intelligence, Congresses.,Soft computing, Congresses.,Computational intelligence.,COMPUTERS-- General.,Soft computing.
رده :
Q342
59. Collaboration and Technology
پدیدآورنده: \ [edited by] Nelson Baloian...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Information retrieval,بازیابی اطلاعات,a05,a05,Groupware (Computer software) -- Congresses.,Computers and Society
رده :
HD
66
.
2
.
C6
2015
E-Book
,
60. Collaboration and technology :
پدیدآورنده: Adriana S. Vivacqua, Carl Gutwin, Marcos R.S. Borges (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Groupware (Computer software), Congresses,Microcomputer workstations-- Congresses,Teams in the workplace-- Data processing, Congresses
رده :
HD66
.
2
.
I58
2011
